Finite automata

Results: 673



#Item
201Applied mathematics / Factor oracle / Finite-state machine / SC / Automata construction / Automaton / LL parser / Nested word / Deterministic pushdown automaton / Automata theory / Theoretical computer science / Computer science

Oracle Pushdown Automata for Trees in Prefix Notation

Add to Reading List

Source URL: www.dcs.kcl.ac.uk

Language: English - Date: 2010-02-18 04:52:05
202Formal methods / Computer science / Finite-state machine / Petri net / Automata theory / Models of computation / Theoretical computer science

Distributed Safety Controllers for Web Services Anders Sandholm and Michael I. Schwartzbach BRICS? , Department of Computer Science University of Aarhus, Ny Munkegade DK-8000 Aarhus C, Denmark

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2000-03-10 07:36:26
203Formal methods / Powerset construction / Finite-state machine / Nondeterministic finite automaton / Automata theory / Theoretical computer science / Computer science

CS109B Notes for LectureAutomata Systems often may be modeled by a nite set of states.  The system is always in one state.

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-19 00:58:51
204APL programming language family / Array programming languages / Models of computation / Automata theory / Functional languages / Finite-state machine / APL / LALR parser / LR parser / Software engineering / Computing / Computer programming

Compiler Tools in APL  Robert Bernecky Snake Island Research Inc 18 Fifth Street, Ward’s Island Toronto, Ontario M5J 2B9 Canada

Add to Reading List

Source URL: www.snakeisland.com

Language: English - Date: 2008-07-16 14:59:20
205Combinatorics / Mathematics / Regular expression / Regular language / String / Powerset construction / Concatenation / Finite-state machine / Deterministic finite automaton / Formal languages / Automata theory / Theoretical computer science

CS109B Notes for LectureNondeterministic Automata Looking for Substrings We can build an NFA to recognize a string that ends in any given substring a1a2 a if we:

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-19 00:58:53
206Applied mathematics / Nondeterministic finite automaton / Regular expression / Deterministic finite automaton / Regular language / Preorder / Generalized nondeterministic finite automaton / ReDoS / Automata theory / Theoretical computer science / Computer science

Reducing the size of NFAs by using equivalences and preorders L UCIAN I LIE ROBERTO S OLIS -O BA

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2005-07-08 16:23:57
207Software development process / Science / Computer science / Software development / Automata theory / Models of computation / Finite-state machine

ACTIVE LEARNING ANIMATIONS FOR THE THEORY OF COMPUTING THE FSA SIMULATOR by Adib Roy

Add to Reading List

Source URL: www.cs.montana.edu

Language: English - Date: 2014-10-27 15:50:49
208Mathematics / Combinatorics / String / Regular language / Regular expression / Symbol / Ω-automaton / Formal languages / Automata theory / Theoretical computer science

Regular Expressions for Data Words Leonid Libkin and Domagoj Vrgoˇc School of Informatics, University of Edinburgh Abstract. In data words, each position carries not only a letter form a finite alphabet, as the usual wo

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2012-04-04 06:54:58
209Computing / Automata theory / Models of computation / Finite-state machine

Probabilistic Arithmetic Automata and their Application to Pattern Matching Statistics Tobias Marschall and Sven Rahmann Bioinformatics for High-Throughput Technologies Chair of Algorithm Engineering TU Dortmund, Germany

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2008-06-20 11:34:56
210Systems theory / Cybernetics / Differential equations / Models of computation / Dynamical system / State space / Hybrid system / Finite-state machine / Variable / Control theory / Mathematics / Automata theory

PII: 00202-T

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2014-03-05 16:46:45
UPDATE